(Reprint of the 1967 edition)

What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effect...(展开全部)

What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effect...(展开全部)

Recursive methods offer a powerful approach for characterizing and solving complicated problems in dynamic macroeconomics. Recursive Macroeconomic Theory provides both an introduction to recursive methods and advanced material, mixing tools and sample applications. Only experience in solving practical problems fully conveys the power of the recursive approach, and the book prov...(展开全部)

Recursive methods offer a powerful approach for characterizing and solving complicated problems in dynamic macroeconomics. Recursive Macroeconomic Theory provides both an introduction to recursive methods and advanced material, mixing tools and sample applications. The second edition contains substantial revisions to about half the original material, and extensive additional co...(展开全部)

Based on the authors' courses and lectures, this 2-volume advanced-level text is now available in a single volume. Topics include metric and normed spaces, continuous curves in metric spaces, measure theory, Lebesque interval, Hilbert Space and more. Each section contains exercises. Lists of symbols, definitions and theorems. 1957 edition.

This popular textbook provides a detailed examination of the central assertions of measure theory in n-dimensional Euclidean space, with emphasis upon the roles of Hausdorff measure and capacity in characterizing the fine properties of sets and functions. Measure Theory and Fine Properties of Functions, Second Edition includes many interesting items working mathematical analyst...(展开全部)

Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been...(展开全部)